Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler
| Continuous Model Theory. (AM-58), Volume 58 / / Chen Chung Chang, H. Jerome Keisler |
| Autore | Chang Chen Chung |
| Pubbl/distr/stampa | Princeton, NJ : , : Princeton University Press, , [2016] |
| Descrizione fisica | 1 online resource (181 pages) |
| Disciplina | 164 |
| Collana | Annals of Mathematics Studies |
| Soggetto topico | Model theory |
| Soggetto non controllato |
Compact space
Compactness theorem Continuous function Logical connective Model theory Set function Truth value |
| ISBN | 1-4008-8205-2 |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- PREFACE -- TABLE OF CONTENTS -- CHAPTER I. TOPOLOGICAL PRELIMINARIES -- CHAPTER II. CONTINUOUS LOGICS -- CHAPTER III. MODEL-THEORETIC PRELIMINARIES -- CHAPTER IV. ELEMENTARILY EQUIVALENT MODELS -- CHAPTER V. ULTRAPRODUCTS OF MODELS AND APPLICATIONS -- CHAPTER VI. SPECIAL MODELS -- CHAPTER VII. CLASSES PRESERVED UNDER ALGEBRAIC RELATIONS -- HISTORICAL NOTES -- BIBLIOGRAPHY -- INDEX OF SYMBOLS -- INDEX OF DEFINITIONS -- INDEX OF EXERCISES -- Backmatter |
| Record Nr. | UNINA-9910154748803321 |
Chang Chen Chung
|
||
| Princeton, NJ : , : Princeton University Press, , [2016] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
| Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
| Descrizione fisica | 1 online resource (1179 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
BarwiseJon
KeislerH. Jerome |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logic, Symbolic and mathematical |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-282-16918-1
9786612169182 0-08-093364-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
| Record Nr. | UNINA-9910511500003321 |
| Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
| Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
| Descrizione fisica | 1 online resource (1179 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
BarwiseJon
KeislerH. Jerome |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN |
1-282-16918-1
9786612169182 0-08-093364-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
| Record Nr. | UNINA-9910783094303321 |
| Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.]
| Handbook of mathematical logic [[electronic resource] /] / edited by Jon Barwise, with the cooperation of H.J. Keisler ... [et al.] |
| Pubbl/distr/stampa | Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 |
| Descrizione fisica | 1 online resource (1179 p.) |
| Disciplina | 511.3 |
| Altri autori (Persone) |
BarwiseJon
KeislerH. Jerome |
| Collana | Studies in logic and the foundations of mathematics |
| Soggetto topico | Logic, Symbolic and mathematical |
| ISBN |
1-282-16918-1
9786612169182 0-08-093364-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | pt. A. Model theory -- pt. B. Set theory -- pt. C. Recursion theory -- pt. D. Proof theory and constructive mathematics. |
| Record Nr. | UNINA-9910821208503321 |
| Amsterdam ; ; New York, : North-Holland Pub. Co., 1977 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||